Consigne: En comparant la somme partielle d'ordre \(n\) à la série harmonique $$H_n=\sum^n_{k=1}\frac1k$$
À une intégrale, montrer que \(H_n\) vérifie l'encadrement $$\ln(n+1)\leqslant H_n\leqslant1+\ln(n)$$

Poser la fonction
Soit \(f(x)=\frac1x\), \(f\) est donc une fonction positive et décroissante sur \(]0,+\infty[\)

Passer d'intégrale à somme d'intégrales
Alors $$\int^n_1 f(x)\,dx=\sum^{n-1}_{k=1}\left(\int^{k+1}_k f(x)\,dx\right)$$

Puisque \(f\) est décroissante, on a : $$f(k+1)=\int^{k+1}_kf(k+1)\,dx\leqslant\int^{k+1}_kf(x)\,dx\leqslant\int^{k+1}_kf(k)\,dx=f(k)\int^{k+1}_k\,dx=f(k)$$

$$\sum^{n-1}_{k=1}f(k+1)\leqslant\int^n_1f(x)\,dx\leqslant\sum^{n-1}_{k=1}f(k)$$

On a donc $$H_{n}-1\leqslant\int^n_1f(x)\,dx\leqslant H_{n-1}$$

Résolution de l'intégrale
Or, $$\int^n_1\frac1x\,dx=\left.\ln x\right|^n_1=\ln n$$

On a donc $$\left( H_n-1\leqslant\ln n\quad\text{ et }\quad H_n\leqslant1+\ln n\right)\implies H_{n-1}\leqslant\ln n\leqslant H_{n-1}$$

On a donc $$\ln(n+1)\leqslant H_n$$
L'inégalité est donc démontrée